JOANA E.: TRANSGRESSING TABOOS
نویسندگان
چکیده
منابع مشابه
Alfred I. Tauber: Transgressing
Immunology, as a branch of biology, deals with two fundamental issues. First, what features make one particular group of organisms unique and distinct from other organisms of similar kind? Second, how are the mechanisms that protect organisms from their predators built and maintained? Until after World War II immunology lacked formal theoretical approach to these issues, but it was delivered wi...
متن کاملTool Demonstration: JOANA
JOANA is a tool for information flow control, which can handle full Java with unlimited threads and scales to ca. 100kLOC. JOANA uses a new algorithm for checking probabilistic noninterference, named RLSOD. JOANA uses a stack of sophisticated program analysis techniques which minimise false alarms. JOANA is open source (joana.ipd.kit.edu) and offers an Eclipse GUI as well as an API. The current...
متن کاملSicherheitsanalyse mit JOANA
JOANA ist ein System zur Software-Sicherheitsanalyse, das bis zu 100kLOC volles Java mit Threads analysieren kann. JOANA basiert auf modernen Verfahren zur Programmanalyse und erzeugt deshalb wenig Fehlalarme. JOANA enthält einen “iRLSOD” Algorithmus, der probabilistische Nichtinterferenz garantiert. JOANA ist Open Source, braucht wenige Annotationen und lässt sich leicht bedienen. Der Artikel ...
متن کاملChecking probabilistic noninterference using JOANA
JOANA is a tool for software security analysis, checking up to 100kLOC of full multi-threaded Java. JOANA is based on sophisticated program analysis techniques and thus very precise. It includes a new algorithm guaranteeing probabilistic noninterference, named RLSOD. JOANA needs few annotations and has a nice GUI. The tool is open source and was applied in several case studies. The article pres...
متن کاملTaboos, agriculture and poverty
Although cultural practices often have important consequences for household consumption and economic performance, they are seldom studied by economists. To fill this gap we study the impact of taboos on agriculture and poverty. Madagascar is a good case study for this purpose given the prevalence of taboos in everyday life and the variation in cultural practices across the country. We examine t...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Catalan Review
سال: 1997
ISSN: 2053-339X,0213-5949
DOI: 10.3828/catr.11.1.4